Formalizing the resilience of open dynamic systems
نویسندگان
چکیده
Many people have realized the importance of building resilient systems that can absorb shocks from unexpected incidents (e.g., a large tsunami) and recover from unavoidable damages in a graceful way. However, there is no formal definition of resilience based on which researchers in various fields can study general design principles for building resilient systems. In this paper, we formalize the notion of resilience within the theoretical framework of dynamic constraint satisfaction problems (DCSPs) and identify several important directions for systems resilience research.
منابع مشابه
Dynamical Behavior of a Rigid Body with One Fixed Point (Gyroscope). Basic Concepts and Results. Open Problems: a Review
The study of the dynamic behavior of a rigid body with one fixed point (gyroscope) has a long history. A number of famous mathematicians and mechanical engineers have devoted enormous time and effort to clarify the role of dynamic effects on its movement (behavior) – stable, periodic, quasi-periodic or chaotic. The main objectives of this review are: 1) to outline the characteristic features of...
متن کاملInvestigation of physical resilience of bazaar of Kashan against earthquake (with emphasis on the role of communication networks and open space)
Introduction: The resilience of an architectural space is the ability to deal with damages caused by an accident, which helps to return to a normal condition after the accident. One of the important aspects of resilience is the physical aspect, which means the ability of a building to withstand changes, events, and the passage of time, and the response of the building to current and future need...
متن کاملStudying Dynamic behavior of Distributed Parameter Processes Behavior Based on Dominant Gain Concept and it’s Use in Controlling these Processes
In this paper, distributed parameter process systems behavior is studied in frequency domain. Based on the dominant gain concept that is developed for such studies, a method is presented to control distributed parameter process systems. By using dominant gain concept, the location of open loop zeros, resulted from the time delay parameter in the process model, were changed from the right half p...
متن کاملGovernance and Capacity to Manage Resilience of Health Systems: Towards a New Conceptual Framework
The term resilience has dominated the discourse among health systems researchers since 2014 and the onset of the Ebola outbreak in West Africa. There is wide consensus that the global community has to help build more resilient health systems. But do we really know what resilience means, and do we all have the same vision of resilience? The present paper presents a new conceptual framework on go...
متن کاملFormalizing Database Recovery
Failure resilience is an essential requirement for database systems, yet there has been little e ort to specify and verify techniques for failure recovery formally. The desire to improve performance has resulted in algorithms of considerable sophistication, yet understood by few and prone to errors. In this paper, we illustrate how the methodology of Gurevich Abstract State Machines can elucida...
متن کامل